Ex: Search logic is the means of specifying combinations of terms which must be matched in retrieval.
Spanish-English dictionary. 2013.
Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… … Wikipedia Español
Lógica no monótona — Saltar a navegación, búsqueda Para otros usos de este término, véase Lógica (desambiguación). La lógica clásica tiene un carácter monótono. Es decir, dado un conjunto de sentencias S1 del que se puede inferir C, al añadir otro conjunto de… … Wikipedia Español
Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… … Wikipedia Español
Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… … Wikipedia Español
Proposición (lógica) — Saltar a navegación, búsqueda En lógica y filosofía, el término proposición se usa para referir a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias y de otras actitudes proposicionales.[ … Wikipedia Español
Programación lógica — Saltar a navegación, búsqueda La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. La programación… … Wikipedia Español
Filosofía de la lógica — Saltar a navegación, búsqueda La filosofía de la lógica es la rama de la filosofía que trata de la naturaleza y la justificación de los sistemas lógicos. Algunas preguntas fundamentales que plantea son: ¿Hay una única verdad lógica, o hay muchas… … Wikipedia Español
Familia lógica — Saltar a navegación, búsqueda En ingeniería electrónica, se puede referir a uno de dos conceptos relacionados: una familia lógica de dispositivos circuitos integrados digitales monolíticos, es un grupo de puertas lógicas (o compuertas)… … Wikipedia Español
Teorema (lógica) — Saltar a navegación, búsqueda Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es el asunto central en la matemática. Un teorema generalmente posee un número de condiciones que… … Wikipedia Español
Tautología (lógica) — Saltar a navegación, búsqueda En lógica, una tautología (del griego ταυτολογία, decir lo mismo) es una fórmula bien formada de un sistema lógico que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores… … Wikipedia Español
